Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Wed, 13 Dec 2023 10:28:47 +0000 (12:28 +0200)
committerIlias Tsitsimpis <iliastsi@debian.org>
Wed, 13 Dec 2023 10:28:47 +0000 (12:28 +0200)
commitf447579dd93343c6371ca9a409d220aca3c33cf1
tree731aea620242d7064710adbd6bac62f51f194549
parentdbe1a16e03bd35fb5a58ebb327062b6b347ab4d6
Use VFPv3-D16 FPU for ARM builds

Upstream-Bug: https://ghc.haskell.org/trac/ghc/ticket/5914

Jani writes: The D16 part was Debian/Ubuntu specific, IIRC we define hardfloat
in that particular variant (16 double registers) or we had a different naming
for some reason.

Gbp-Pq: Name ARM-VFPv3D16
m4/get_arm_isa.m4